A epted for publi ation in Theory and Pra ti e of Logi Programming 1 HTN Planning in Answer Set ProgrammingJ

in Theory and Pra ti e of Logi Programming 1 HTN Planning in Answer Set

Global Induction Mechanisms in a Μ - Calculus with Explicit Approximations ∗

Will be set by the publisher Informatique Théorique et Appli ations ON GLOBAL INDUCTION MECHANISMS IN A μ-CALCULUS WITH EXPLICIT APPROXIMATIONS ∗ Christoph Sprenger1 and Mads Dam2 Abstra t. We investigate a Gentzen-style proof system for the rstorder μal ulus based on y li proofs, produ ed by unfolding xed point formulas and dete ting repeated proof goals. Our system uses expli it ordinal varia...

Theory and Pra ti e of Logi Programming 1 Properties of Input - Consuming

Theory and Pra ti e of Logi Programming

Verifiable Multi-agent Programs

AgentSpeak is a rea tive planning language for programming autonomous agents. It has re ently been shown that model he king te hniques an be applied to the veri ation of AgentSpeak systems, through a translation to promela, the model spe i ation language for the SPIN LTL modelhe king system. In this paper, we introdu e an alternative veri ation approa h for AgentSpeak, by translating AgentSpeak...